Datalog Queries Distributing over Components

We investigate the class D of queries that distribute over components. These are the queries that can be evaluated by taking the union of the query results over the connected components of the database instance. We show that it is undecidable whether a (positive) Datalog program distributes over components. Additionally, we show that connected Datalog ¬ (the fragment of Datalog ¬ where all rules are connected) provides an effective syntax for Datalog ¬ programs that distribute over components under the stratified as well as under the well-founded semantics. As a corollary, we obtain a simple proof for one of the main results in previous work [19], namely, that the classic win-move query is in F2 (a particular class of coordination-free queries)

On the expressive power of update primitives

International audienc

30 Years of PODS in Facts and Figures ∗

The present paper discusses some facts and figures representing 30 years of history of the ACM Symposium on Principles of Database Systems (PODS). The analysis was done for the occasion of the POD